Knihy od autora Franck Cassez

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Formal Modeling and Analysis of Timed Systems

   Franck Cassez, Claude Jard | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1542 Kč

   Koupit
2. 

   Automated Technology for Verification and Analysis

   Franck Cassez, Jean-Francois Raskin | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1542 Kč

   Koupit
3. 

   Modeling and Verification of Parallel Processes

   Franck Cassez, Claude Jard, Brigitte Rozoy | Springer, Berlin, 2001

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1486 Kč

   Koupit

Máte na výběr ze mnoha způsobů platby za váš nákup. Zjistěte více